od- تشخیص پذیری گروه های تقریباً ساده متناهی مرتبط با u3(5)

فرض کنیم g یک گروه متناهی از مرتبه |g|= p_1^(?_1 ) p_2^(?_2 )…p_n^(?_n ) باشد که p_i اعداد اول هستند و p_1<p_2<?<p_n است. یکی از معروف ترین گرااف های مرتبط با با g گراف اول آن است که با ?(g) یا gk(g) نمایش داده شود. این گراف به صورت زیر ساخته می شود. مجموعه رئوس آن ?(g)={p_1,p_2,…,p_n } و دو راس p_i و p_j که i?j مجاورند (با یال به هم وصل می شوند) اگر و تنها اگر g شامل عضوی از مرتبه p_i p_j باشد و در این صورت می نویسیم p_i ~p_j . درجه راس p_i??(g) تعداد یال هایی است که به آن راس وارد می شوند. الگوی درجه گروه g را به این صورت تعریف می کنیم: d(g)?(deg?(p_1 ) ),(deg?(p_2 ) ),…,(deg?(p_k ) ) گروه g، -k تا، -odتشخیص پذیر نامیده می شود اگر دقیقاً k گروه غیریکریخت h وجود داشته باشد به طوری که |g|=|h|. گروه g، -odتشخیص پذیر نامیده می شود هرگاه k=1 باشد. فرض می کنیم l?u_3 (5) گروه یکانی خاص تصویری باشد. در این پایان نامه گروه های با مرتبه و الگوی درجه یکسان را به عنوان یک گروه تقریباً ساده مرتبط با l دسته بندی می کنیم. در واقع، به دست می آوریم l و l.2، -odتشخیص پذرند، l.3، -od تشخیص پذیر و s_3، 6- تا -od تشخیص پذیر است.